Nuprl Definition : scomb
9,38
postcript
pdf
S(
x
,
y
,
z
) ==
x
(
z
,
y
(
z
))
latex
Definitions
x
.
A
(
x
)
,
f
(
a
)
FDL editor aliases
scomb
origin
x.A(x)x.A(x)